翻訳と辞書 Words near each other ・ Herculea ・ Herculean (song) ・ Herculean Effort Productions ・ Herculean Sarcophagus of Genzano ・ Hercules ・ Hercules & Xena Roleplaying Game ・ Herboso ・ Herbow ・ Herbrand Award ・ Herbrand interpretation ・ Herbrand Lavik ・ Herbrand Lofthus ・ Herbrand quotient ・ Herbrand Russell, 11th Duke of Bedford ・ Herbrand Sackville, 9th Earl De La Warr ・ Herbrand structure ・ Herbrand's theorem ・ Herbrandization ・ Herbrandston ・ Herbrand–Ribet theorem ・ Herbrechtingen ・ Herbringhauser Bach ・ Herbs (band) ・ Herbs and Apples ・ Herbs de Majorca ・ Herbs in Polish mythology ・ Herbsaint ・ Herbsheim ・ Herbsleben ・ Herbst Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Herbrand structure ： ウィキペディア英語版 Herbrand structure In First-order logic, a ''Herbrand structure'' S is a structure over a vocabulary σ, that is defined solely by the syntactical properties of σ. The idea is to take the symbols of terms as their values, e.g. the denotation of a constant symbol c is just 'c' (the symbol). Herbrand structures play an important role in the foundations of logic programming. ==Herbrand universe== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Herbrand structure」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.